Stratégie de couverture de test à un haut niveau d'abstraction

ions supplémentaires, nous pouvons synthétiser l’écriture de plusieurs objectifs de test en un schéma de test. Un schéma de test est une abstraction d’objectifs de test. Nous présentons maintenant les différentes abstractions proposées avant d’étudier comment nous pouvons exprimer la couverture des schémas de test vis-à-vis de la spécification. Avant de présenter les différentes abstractions, nous posons quelques opérations sur les labels. Un label a ∈ A est de la forme "i/o inst.methode(val)" comme présenté dans la section 2.4. Les opérations associées à un label a sont ML(a) = methode, InstL(a) = inst et IOL(a) = i/o. 4.1. Abstraction sur les paramètres Dans la spécification S, les méthodes portées sur les labels sont toutes instanciées par des valeurs de leurs paramètres. Certains objectifs de test peuvent varier d’une simple valeur de paramètre. Nous proposons d’effectuer un changement d’alphabet des labels, afin de faire abstraction des paramètres des méthodes. Soit Ap le nouveau alphabet, un label est alors de la forme a = i/o inst.methode. On a une fonction totale Fp ∈ A → Ap telle que : Définition 7 ∀a ∈ A. IOL(a) = IOL(Fp(a)) ∧ InstL(a) = InstL(Fp(a)) ∧ ML(a) = ML(Fp(a)). Soit : Fp(i/o inst.methode(val)) = i/o inst.methode, on étend la fonction aux chaînes : Fp(a1 . . . an) = Fp(a1), . . . , Fp(an). 4.2. Abstraction sur les méthodes Une autre abstraction consiste à regrouper des méthodes différentes sous un même label. Prenons le cas d’une application bancaire avec les opérations suivantes : crédit, débit et consultation. On peut suivre des procédures de test similaires pour chacune d’entre elles. Au lieu d’écrire plusieurs fois les mêmes tests avec des noms d’opérations différents, nous pouvons créer un groupe nommé op_bancaire, qui regroupe toutes ces méthodes. Ce lien est établi par une fonction totale G ∈ m → g où m est l’ensemble des méthodes et g est l’ensemble des groupes. Toutes les méthodes de l’alphabet sont associées à un groupe, qui peut être réduit à une méthode. Soit Ag l’alphabet prenant en compte les groupes, un label est alors de la forme : a = i/o inst.groupe. On surcharge la fonction ML tel que ML(a) = groupe. On a une fonction Fg ∈ Ap → Ag telle que : Définition 8 ∀a ∈ Ap. IOA(a) = IOL(Fg(a)) ∧ InstL(a) = InstL(Fg(a)) ∧ G(ML(a )) = ML(Fg(a )). Une nouvelle stratégie de couverture 11 Soit : Fg(i/o inst.methode) = i/o inst.G(methode) = i/o inst.groupe, on étend la fonction aux chaînes : Fg(a1 . . . an) = Fg(a1), . . . , Fg(an). 4.3. Abstraction sur les instances Lorsque nous avons plusieurs instances d’une même classe, nous souhaitons souvent exécuter les mêmes tests sur ces différents objets. Nous offrons la possibilité de faire une abstraction sur les instances, afin de factoriser des schémas de test. L’alphabet des schémas de test ne comporte plus d’instances. Soit A l’alphabet des abstractions sans instance, un label est alors de la forme : A = i/o groupe. Nous avons une fonction Fi ∈ Ag → A telle que : Définition 9 ∀a ∈ Ag . IOL(a) = IOL(Fi(a)) ∧ ML(a) = ML(Fi(a)). Soit : Fi(i/o inst.groupe) = i/o groupe, on étend la fonction aux chaînes : Fi(a1, . . . , an) = Fi(a1), . . . , Fi(an). 4.4. Objectifs de test et couverture Nous venons de présenter les différentes abstractions mises en place à l’aide des fonctions Fp, Fg et Fi. Nous définissons maintenant une fonction FA ∈ A → A comme étant la composition de ces trois fonctions. Nous avons alors : Définition 10 ∀a ∈ L. IOL(a) = IOL(FA(a)) ∧ G(ML(a)) = ML(FA(a)). Soit : Fa(i/o inst.methode(val)) = i/o G(methode) = i/o groupe, on étend la fonction aux chaînes : Fa(a1 . . . an) = Fa(a1), . . . , Fa(an). Soit st un schéma de test décrit par la suite de labels a1a ′ 2 . . . a ′ n avec i ∈ 1..n et ai ∈ A . Un objectif de test ot associé à st vérifie la condition FA(ot) = st. On note alors OTS(st) l’ensemble des objectifs de test dont l’abstration par FA est st : OTS(st) = {ot|FA(ot) = st}. Comme pour les autres niveaux d’abstraction, nous pouvons définir une notion de couverture des branches de la spécification S pour les schémas de test en se basant sur les notions de couverture des niveaux d’abstraction moins élevés. Ainsi on peut définir la couverture par st de la spécification S de la façon suivante : Définition 11 (couverture et taux de couverture d’un schéma de test pour une spécification S)